Computer programming - PDFSEARCH.IO - Document Search Engine

Computer programming
Results: 45296

#	Item
671	Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-11-25 16:51:21 Software engineering Computer programming Computing GNUstep NeXT Objective-C Application programming interface Transmission Control Protocol Go
672	The low down on PHP 7 Rob Allen 19ft.com ~ @akrabat ~ February 2016 PHP 7 is fast ! Add to Reading List Source URL: akrabat.com Language: English - Date: 2016-02-14 06:13:53 Software engineering Computing Computer programming Cross-platform software High-level programming languages Object-oriented programming languages Procedural programming languages Data types PHP String Array data type Sequence container
673	Automatic Exploration of SW Concurrency Bugs through Deterministic Behavior Control Luis Gabriel Murillo, Rainer Leupers MAD Workshop, Munich, Germany Add to Reading List Source URL: www.mad-workshop.de Language: English - Date: 2016-03-22 12:43:37 Computer programming Software Debugging Embedded system Programming tool Software bug Lock Thread Debuggers
674	Hanging by a Thread Lightweight Threads and Asynchronous I/O for the Modern Era Hamish Morrison () Supervisor: Dr. Graham Kirby April 10, 2015 Add to Reading List Source URL: info.cs.st-andrews.ac.uk Language: English - Date: 2016-08-19 08:58:22 Computing Computer architecture Software Application programming interfaces Input/output Concurrency control Control flow Parallel computing Thread Scheduler activations Kqueue Scheduling
675	Noname manuscript No. (will be inserted by the editor) A portable parallel implementation of the lrs vertex enumeration code David Avis and Gary Roumanis Add to Reading List Source URL: cgm.cs.mcgill.ca Language: English - Date: 2013-11-01 11:17:39 Computer programming Mathematics Software engineering Graph connectivity Connectivity Tree traversal Search algorithms NP-complete problems Biconnected component HopcroftKarp algorithm
676	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
677	BOOKS ABOUT HAAS LATHE MACROS MANUAL CNC PROGRAMMING Cityhalllosangeles.com HAAS LATHE MACROS MANUA... Add to Reading List Source URL: h.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:39:33 Business Manufacturing Computer-aided engineering Lathes Metalworking Metal lathe FANUC Numerical control G-code Macro Machine tool
678	Sequencing in F# Sequencing, and IO We said functional programming is about calculating expressions Björn Lisper School of Innovation, Design, and Engineering Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-27 03:46:56 Software engineering Computer programming Computing Programming idioms C standard library Subroutines Functional programming Functional languages Printf format string Monad Eval Lisp
679	Lecture 4: Modeling Sparse Matrix-Vector Multiply William Gropp www.cs.illinois.edu/~wgropp Sustained Memory Bandwidth Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:20:20 Computing Software engineering Central processing unit Computer programming Computer memory Cache Programming languages CPU cache Sparse matrix Processor register Fortran Data
680	• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-07-22 03:56:39 Mathematics Logic Theoretical computer science Automated theorem proving Logic programming Abstraction Process calculi -calculus Substitution Inverse trigonometric functions Lambert W function

UPDATE